\section{Evaluation}

Tests were performed using Java 1.5 with a maximum heap space of 1 GB on Mac OS 10.5.5 with an Intel Core 2 Duo processor 2.16 GHz and 3 GB of RAM.

\subsection{Ontologies}

\begin{itemize}
	\item \textsf{benchmark}. This ontology was designed such that given a conjunctive query $Q$, it is possible to compute the size of the rewriting $Q'$ \emph{in advance}. The main objective of the tests on this ontology is to (partially) verify the correctness of the implementations.
	\item \textsf{univ-bench-dllite}.
	\item \textsf{stock-exchange}.
	\item \textsf{adolena}.
\end{itemize}

\subsection{Queries}